基于谓词逻辑的原型系统生成方法研究

本文采用面向对象思想和模型驱动技术,提出一种基于谓词逻辑的原型系统生成方法.该方法以模型为基本元素,通过对静态模型和动态模型信息实施约束抽取和迭代精化等操作生成原型系统.在生成过程中遵循信息对等原则,并引入谓词逻辑使转换过程建立在牢固的数学基础之上,更能够保证原型系统的正确性和完整性,更易于处理需求变化对系统造成的影响...     

数据挖掘算法研究

数据挖掘技术是一个不断发现知识的过程。阐述了目前三种流行的数据挖掘算法的理论模型及算法思想,并从算法时间复杂度、依赖条件和误差估计等方面进行了比较分析,说明了不同算法的优势和不足。指出了不同算法的应用前景,提出了一种将不同算法结合以减少误差率,提高算法效率的思路。     

新《城乡规划法》背景下控制性详细规划编制模式探讨

目前,我国传统的控制性详细规划存在高调整率和公益设施受到忽视等方面的问题.新的<城乡规划法>规定必须以控制性详细规划为依据划拨和出让土地,并对其规定了严格的调整程序.根据控制性详细规划"两个目的"和"三种属性"的要求,在总结特大城市传统的控制性详细规划探索经验的基础上,提出了新的控制性详细规划分层与通则的基本模式.     

内蒙古珠尔嘎钼及银铅锌矿成矿地质特征及规律分析

内蒙古锡林浩特地区大地构造环境复杂,成矿地质条件优越,有色金属矿床类型多样,找矿潜力巨大。文章通过对内蒙古东乌珠穆沁旗珠尔嘎钼及银铅锌矿地质特征、地球化学特征及矿体特征进行分析,总结了其成矿规律:矿体均赋存于燕山早期(黑云母)二长花岗(斑)岩(ηγ52)与泥盆系上统安格尔音乌拉组(D3a)变质粉砂质细砂岩及变质中酸性火山碎屑岩的内外接触带中,(黑云母)二长花岗(斑)岩体为成矿提供了含矿热液,北东向断裂构造为成矿提供了运移通道和容矿空间。故建议在矿区西南一带靠近主断裂及岩体的内接触带附近进一步加强银铅锌钼多金属的找矿勘查工作。     

数据挖掘技术在煤炭系统体育比赛中应用研究

将计算机技术应用到煤炭系统体育领域中来,能够有效地促进煤炭系统体育竞技水平的提高。本文在煤炭系统体育竞技中引入数据挖掘技术,科学地分析煤炭系统体育比赛的各种数据,从而能够促进煤炭系统体育竞技的技战术水平的提高。基于乒乓球技战术原型分析系统的基础上,文中在煤炭行业工业控制计算机网络基础之上,对数据挖掘技术进行了仔细的研究,采用了关联规则算法,并提供了开发类库的中间件,使之能够成为煤炭系统体育竞技比赛的分析技战术的一个有效工具,应用到乒乓球技战术分析系统中去,促进了乒乓球技战术的提高。     

浅析葡西油田凝析气藏地质成因及分布规律

针对葡西油田原油性质差异较大的特点,对油气藏类型进行了判断,并在确定为凝析气藏的基础上,通过开展油源对比：油气运聚史及断层发育史等研究工作,揭示了葡西油田葡萄花油层凝析气藏分布规律以及地质成因,并预测了储量规模,为确定油藏的开发方式及油田的大面积开发奠定基础。     

孔隙流体性质对井眼围岩应力分布的影响

根据渗流力学以及弹性力学理论,求解了孔隙流体为宾汉流体时的井眼围岩应力分布状态.通过计算表明,孔隙流体性质对井眼围岩的应力分布产生很大的影响.孔隙流体为宾汉流体时,由于受到启动压力梯度的影响,周向应力值比孔隙流体是牛顿流体值小,径向应力值比孔隙流体是牛顿流体时大,孔隙流体性质所产生的影响不可忽略.     

安徽巢北凤凰山地区地层及其部分成因分析

通过对巢湖凤凰山地区自然露头和人工揭露的地质点进行系统的地质观测,收集各种地表地质信息等有关资料,研究地表地质活动规律,包括地层划分和层序、岩性组合及岩相特征、地质构造及构造变动、岩浆活动及有用矿产的赋存规律。通过对各地层的岩性的分析,可以了解到当地的古地质环境、古构造环境,对于了解当地的能源聚集关系有较大的指导的作用。     

S2205工作面长壁综放回采对工作面顺槽的影响分析

根据工作面煤体上方直接顶及老顶悬露面积的不同,建立不同的围岩结构模型,采用理论分析的方法,得出了长壁综放回采对工作面顺槽的影响机理,并以余吾煤业公司S2205综放工作面为工程背景,对综放回采影响下工作面顺槽变形规律进行实测分析,得出了该地质条件下综放回采对工作面顺槽的影响范围及程度。     

特种设备焊工考试新旧标准对比分析

为了更好地实施《特种设备焊接操作人员考核细则》,结合锅炉制造行业工作情况,分析了该标准对承压类设备焊接操作人员的考核程序与要求,并且与旧标准进行TIC比分析。《特种设备焊接操作人员考核细则》发生了较大的变动,其中焊工考试范围增大,增加了焊接母材、焊接方法、角焊缝考试要求,延长了焊工证书有效期,提出了复审要求,提高了考试机构条件。《特种设备焊接操作人员考核细则》使焊工考试更加合理化,焊工考试管理更加规范化、透明化。